[esc2] export PROVER_KILL_TIME seems to be ignored
|
View:
New views
4 Messages
—
Rating Filter:
Alert me
|
 |
[esc2] export PROVER_KILL_TIME seems to be ignored
by Patrice Chalin-3
::
Rate this Message:
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 ...
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 |
|
|
Re: [esc2] export PROVER_KILL_TIME seems to be ignored
by Dermot Cochran
::
Rate this Message:
On 15 Jul 2008, at 12:56, Patrice Chalin wrote: > Have something changed in the code? Is the prover kill time to be > specified in another way? No, the code has not been changed, and there is no other way to specify the prover kill time. Regards, Dermot ------------------------------------------------------------------------- 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 |
|
|
Re: [esc2] export PROVER_KILL_TIME seems to be ignored
by Mikoláš Janota-2
::
Rate this Message:
Hi,
according to my experience, this has never worked properly. When doing larger testing Radu has been using ulimit to kill simplify when it got lost. mikolas On Tue, Jul 15, 2008 at 12:56 PM, Patrice Chalin <chalin@...> wrote: > 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 > > -- Mikoláš Janota M. Sc. School of Computer Science and Informatics, University College Dublin, Belfield, Dublin 4, Ireland ------------------------------------------------------------------------- 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 |
|
|
Re: [esc2] export PROVER_KILL_TIME seems to be ignored
by Joseph Kiniry
::
Rate this Message:
On 18 Jul, 2008, at 14:57, Mikoláš Janota wrote: > Hi, > > according to my experience, this has never worked properly. When > doing larger testing Radu has been using ulimit to kill simplify when > it got lost. It did work correctly back in the alpha days, but I have no idea what changed to cause it to stop working. Joe > > > mikolas > > On Tue, Jul 15, 2008 at 12:56 PM, Patrice Chalin > <chalin@...> wrote: >> 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 >> >> > > > > -- > Mikoláš Janota M. Sc. > School of Computer Science and Informatics, > University College Dublin, > Belfield, > Dublin 4, > Ireland ------------------------------------------------------------------------- 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 |
| Free Forum Powered by Nabble | Forum Help |