simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 04:05:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Changed timeout message in binary

Browse source
This commit is contained in:
Guillaume Bury 2016-01-31 14:33:51 +01:00
parent ce65f10f9c
commit 74be6cdc9f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
main.ml
View file

@ -271,8 +271,8 @@ let () =
print "Internal error : incorrect *sat* model"; print "Internal error : incorrect *sat* model";
exit 4 exit 4
| Out_of_time -> | Out_of_time ->
print "Time limit exceeded"; print "Timeout";
exit 2 exit 2
| Out_of_space -> | Out_of_space ->
print "Size limit exceeded"; print "Spaceout";
exit 3 exit 3