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

* bench/ltl2tgba/lbtt2csv.pl: Fix a bug when using big.log.

Browse source
This commit is contained in:
Thomas Badie 2012-08-20 16:19:47 +02:00 • committed by Alexandre Duret-Lutz
parent a0cce10512
commit bd9e42dd68
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
bench/ltl2tgba/lbtt2csv.pl
View file

@ -94,10 +94,14 @@ sub work_on_whole_round($)
{ {
my ($round) = @_; my ($round) = @_;
$round =~ s/ parse tree.*?\n//ms;
$round =~ /.*?\n\s+formula:\s+(.*?)\n/ms; $round =~ /.*?\n\s+formula:\s+(.*?)\n/ms;
my $formula = $1; my $formula = $1;
$round = $'; #' $round = $'; #'
$round =~ s{\n\n(.*?)(?=\n\n)}< $round =~ s{\n\n(.*?)(?=\n\n)}<
work_on_algorithm ($1, $formula); work_on_algorithm ($1, $formula);
>gse; >gse;