Hi,
I managed to get ESC2 to run over the Javafe yesterday ... but it took
almost 8 hours. Here is a sample fo the timeouts I got ...
...
[27.078 s 299212904 bytes] timed out
[27.802 s 307622952 bytes] timed out
[118.739 s 336744432 bytes] timed out
[33.148 s 345810152 bytes] timed out
[45.111 s 243496064 bytes] timed out
[52.428 s 256281056 bytes] timed out
[56.866 s 273766968 bytes] timed out
[54.463 s 313590736 bytes] timed out
[109.742 s 329659056 bytes] timed out
[25.457 s 222824320 bytes] timed out
[51.959 s 224901248 bytes] timed out
...
Note that I had set export PROVER_KILL_TIME=7 but it seems that the
timeout value is being ignored. Have something changed in the code?
Is the prover kill time to be specified in another way?
Thanks,
Patrice
--
Patrice Chalin, Eng., Software Engineering UGP Director, Associate Prof.
Dependable Software Research Group, CSE Department, Concordia University
Room EV3.215, Phone +1-514-848-2424 x3004. www.encs.concordia.ca/~chalin
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava
