Some automata seem to spawn satan #300
Labels
For:library
The issue is related to library (c++ implementation)
Type:bug
A bug or an issue in implementation or performance
During working on perfomance-testing infrastructure, I noticed that few automata (that I have personally chosen) seems to spawn satan when run with
unary-operations.cc
binary.The issue: the program/library consumes excessive amount of working memory (more than 10GB).
Possible cause: The issue seem to be in
complement()
Offending input automata
https://github.com/VeriFIT/mata/blob/devel/tests-performance/automata/b-hand-made-easy/aut1.mata
https://github.com/VeriFIT/mata/blob/devel/tests-performance/automata/b-param-easy/aut0.mata
https://github.com/VeriFIT/mata/blob/devel/tests-performance/automata/b-param-easy/aut1.mata
https://github.com/VeriFIT/mata/blob/devel/tests-performance/automata/b-param-hardest/aut1.mata
https://github.com/VeriFIT/mata/blob/devel/tests-performance/automata/b-param-hardest/aut2.mata
Offending binary: https://github.com/VeriFIT/mata/blob/devel/tests-performance/src/unary-operations.cc
Reproducing:
unary-operations.cc
./build/tests-integration/unary-operations ./tests-integration/automata/b-hand-made-easy/aut1.mata
(using newest infstracture)or
./tests-performance/bin/unary-operations ./tests-performance/automata/b-hand-made-easy/aut1.mata`The text was updated successfully, but these errors were encountered: