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

ltlsynt: don't solve games when we want to display them

Browse source 
* bin/ltlsynt.cc: here
This commit is contained in:
Florian Renkin 2022-04-12 11:21:14 +02:00 • committed by Alexandre Duret-Lutz
parent fa6912a574
commit 0f3ffd59ce
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bin/ltlsynt.cc
View file

@ -395,6 +395,8 @@ namespace
&& "Env needs first turn"); && "Env needs first turn");
} }
print_game(arena); print_game(arena);
if (want_game)
continue;
if (!spot::solve_game(arena, *gi)) if (!spot::solve_game(arena, *gi))
{ {
std::cout << "UNREALIZABLE" << std::endl; std::cout << "UNREALIZABLE" << std::endl;