alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* bench/emptchk/pml2tgba.pl: Adjust to work with Spin 5.2.0.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2009-06-17 16:28:00 +02:00
parent b3e8797c51
commit 9c7201c3b1
2 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2009-06-17 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* bench/emptchk/pml2tgba.pl: Adjust to work with Spin 5.2.0.
2009-06-12 Guillaume Sadegh <sadegh@lrde.epita.fr> 2009-06-12 Guillaume Sadegh <sadegh@lrde.epita.fr>
Adjust the build system for ICC. Adjust the build system for ICC.

6
bench/emptchk/pml2tgba.pl
View file

@ -113,7 +113,11 @@ while (1)
my $model = shift @ARGV; my $model = shift @ARGV;
# Find out the start of the never claim. # Find out the start of the never claim.
my $neverstartline = 3 + `wc -l <"$model"`; # The line numbering changed in Spin 5.2.0.
my $model_size = `wc -l <"$model"`;
my $neverstartline_spin517 = 3 + $model_size;
my $neverstartline_spin520 = 4 + $model_size;
my $neverstartline = "($neverstartline_spin517|$neverstartline_spin520)";
# Create the automaton # Create the automaton
open NEVER, ">never.$$"; open NEVER, ">never.$$";