Commit Graph

13 Commits (master)

Author SHA1 Message Date
Patrick Lühne 103c4d4481
Add signal handler for SIGTERM
As the benchmark runner doesn’t send a SIGINT but a SIGTERM, the signal
handler printing the statistics wasn’t triggered.
2018-02-01 14:45:00 +01:00
Patrick Lühne 62ec122116
Remove memory statistics for interrupt safety
Reading the memory statistics requires a call to fopen, which uses the
async-signal-unsafe function malloc. For this reason, interrupting
Madagascar could lead to a crash when coinciding with allocations.

Removing the memory statistics doesn’t do much harm, as this can still
be read from an outside program such as the benchmark runner.
2018-01-31 18:28:49 +01:00
Patrick Lühne 6c25431873
Add more statistics
This adds the following statistics: the number of state variables before
and after preprocessing, the number of ground actions before and after
preprocessing, and the maximum size of a strongly connected component.
2018-01-31 17:24:06 +01:00
Patrick Lühne f0b59029d1
Hide iterations section if none were performed 2018-01-26 18:57:24 +01:00
Patrick Lühne 36472346f8
Fix out-of-bounds access if no iteration performed 2018-01-26 18:56:16 +01:00
Patrick Lühne bf2400fd98
Print statistics on SIGINT 2018-01-26 18:56:16 +01:00
Patrick Lühne a9ee64ed81
Print plan statistics only if plan found 2018-01-26 18:46:42 +01:00
Patrick Lühne 704fbcf130
Move statistics output to dedicated function 2018-01-26 18:37:03 +01:00
Patrick Lühne 583ee11728
Add detailed statistics in YAML format 2018-01-26 17:23:54 +01:00
Patrick Lühne 46bdb212de
Print more statistics 2018-01-25 17:48:56 +01:00
Patrick Lühne e960f0d764
Fix syntax error 2018-01-25 16:57:05 +01:00
Patrick Lühne ffe5ae8914
Make Mp the default planner 2018-01-25 16:56:43 +01:00
Patrick Lühne 21571c20a1
Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00