Exception occurs when monitoring properties of the form "G (= x x)"
Using property
(G (= brakePressureOutValve brakePressureOutValve))
for the ABS example for the ICTSS 2023 paper (https://bitbucket.org/JanPeleska/ifip_ictss_2023/src/6d0576e/), I obtain the following error upon running the test harness as
./testharness faultDomainAbs.txt prop.txt -seed=2
terminate called after throwing an instance of 'std::out_of_range'
what(): _Map_base::at
==30087== ERROR: libFuzzer: deadly signal
#0 0x55f212264fb4 in __sanitizer_print_stack_trace (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0xc2fb4) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#1 0x55f21223b9c8 in fuzzer::PrintStackTrace() (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x999c8) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#2 0x55f212221443 in fuzzer::Fuzzer::CrashCallback() (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x7f443) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#3 0x7f071622051f (/lib/x86_64-linux-gnu/libc.so.6+0x4251f) (BuildId: a43bfc8428df6623cd498c9c0caeb91aec9be4f9)
#4 0x7f07162749fb in __pthread_kill_implementation nptl/./nptl/pthread_kill.c:43:17
#5 0x7f07162749fb in __pthread_kill_internal nptl/./nptl/pthread_kill.c:78:10
#6 0x7f07162749fb in pthread_kill nptl/./nptl/pthread_kill.c:89:10
#7 0x7f0716220475 in gsignal signal/../sysdeps/posix/raise.c:26:13
#8 0x7f07162067f2 in abort stdlib/./stdlib/abort.c:79:7
#9 0x7f0716e64b9d (/lib/x86_64-linux-gnu/libstdc++.so.6+0xa2b9d) (BuildId: e37fe1a879783838de78cbc8c80621fa685d58a2)
#10 0x7f0716e7020b (/lib/x86_64-linux-gnu/libstdc++.so.6+0xae20b) (BuildId: e37fe1a879783838de78cbc8c80621fa685d58a2)
#11 0x7f0716e70276 in std::terminate() (/lib/x86_64-linux-gnu/libstdc++.so.6+0xae276) (BuildId: e37fe1a879783838de78cbc8c80621fa685d58a2)
#12 0x7f0716e704d7 in __cxa_throw (/lib/x86_64-linux-gnu/libstdc++.so.6+0xae4d7) (BuildId: e37fe1a879783838de78cbc8c80621fa685d58a2)
#13 0x7f0716e6749f in std::__throw_out_of_range(char const*) (/lib/x86_64-linux-gnu/libstdc++.so.6+0xa549f) (BuildId: e37fe1a879783838de78cbc8c80621fa685d58a2)
#14 0x55f21230e0af in std::__detail::_Map_base<unsigned long, std::pair<unsigned long const, std::unique_ptr<libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > >, std::default_delete<libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > > > > >, std::allocator<std::pair<unsigned long const, std::unique_ptr<libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > >, std::default_delete<libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > > > > > >, std::__detail::_Select1st, std::equal_to<unsigned long>, std::hash<unsigned long>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true>, true>::at(unsigned long const&) /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/hashtable_policy.h:759:2
#15 0x55f21230e02c in std::unordered_map<unsigned long, std::unique_ptr<libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > >, std::default_delete<libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > > > >, std::hash<unsigned long>, std::equal_to<unsigned long>, std::allocator<std::pair<unsigned long const, std::unique_ptr<libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > >, std::default_delete<libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > > > > > > >::at(unsigned long const&) /usr/bin/../lib/gcc/x86_64-linux-gnu/11/../../../../include/c++/11/bits/unordered_map.h:997:21
#16 0x55f21230ded0 in libexpressions::TrieNode<unsigned long, std::tuple<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > >::at(unsigned long const&) const /home/robert/Uni/Bitbucket/libsfsmtest/src/dependencies/libexpressions/utils/trie_node.hpp:88:35
#17 0x55f21230ddf7 in libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::EvaluationState libexpressions::evaluateExpression<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >(std::shared_ptr<libexpressions::ExpressionNode const> const&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&)::ExpressionNodeEvaluationVisitor::operator()[abi:cxx11](libexpressions::Operator const*) /home/robert/Uni/Bitbucket/libsfsmtest/src/dependencies/libexpressions/evaluators/evaluator.hpp:62:47
#18 0x55f21230dc3b in std::result_of<std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > (std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes> const*)>::type libexpressions::cast_and_call<libexpressions::Operator, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::EvaluationState libexpressions::evaluateExpression<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >(std::shared_ptr<libexpressions::ExpressionNode const> const&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&)::ExpressionNodeEvaluationVisitor, libexpressions::ExpressionNode>(std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&&, libexpressions::ExpressionNode const*) /home/robert/Uni/Bitbucket/libsfsmtest/src/dependencies/libexpressions/expressions/expression_visit_helper.hpp:37:16
#19 0x55f21230d875 in std::result_of<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes> (libexpressions::Operator const*)>::type libexpressions::visit<libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::EvaluationState libexpressions::evaluateExpression<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >(std::shared_ptr<libexpressions::ExpressionNode const> const&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&)::ExpressionNodeEvaluationVisitor>(libexpressions::ExpressionNode const*, std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>&&) /home/robert/Uni/Bitbucket/libsfsmtest/src/dependencies/libexpressions/expressions/expression_visit_helper.hpp:51:20
#20 0x55f21230d71f in auto libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::EvaluationState libexpressions::evaluateExpression<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >(std::shared_ptr<libexpressions::ExpressionNode const> const&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&)::'lambda'(std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes> const&, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&)::operator()<std::shared_ptr<libexpressions::ExpressionNode const>, std::vector<unsigned long, std::allocator<unsigned long> > >(std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes> const&, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&) const /home/robert/Uni/Bitbucket/libsfsmtest/src/dependencies/libexpressions/evaluators/evaluator.hpp:77:39
#21 0x55f21230d619 in std::enable_if<std::conjunction_v<std::is_invocable<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::vector<unsigned long, std::allocator<unsigned long> > const&>, std::negation<std::is_invocable_r<bool, std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::vector<unsigned long, std::allocator<unsigned long> > const&> > >, bool>::type libexpressions::treeTraversalFunctionAdaptor<libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::EvaluationState libexpressions::evaluateExpression<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >(std::shared_ptr<libexpressions::ExpressionNode const> const&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&)::'lambda'(std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes> const&, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&)&, std::shared_ptr<libexpressions::ExpressionNode const> const&, std::vector<std::tuple<std::shared_ptr<libexpressions::ExpressionNode const> const*, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > >, std::allocator<std::tuple<std::shared_ptr<libexpressions::ExpressionNode const> const*, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > > > >&, std::vector<unsigned long, std::allocator<unsigned long> > (&)(std::vector<std::tuple<std::shared_ptr<libexpressions::ExpressionNode const> const*, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > >, std::allocator<std::tuple<std::shared_ptr<libexpressions::ExpressionNode const> const*, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > > > > const&)>(std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>&&, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&&, std::vector<std::tuple<std::shared_ptr<libexpressions::ExpressionNode const> const*, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > >, std::allocator<std::tuple<std::shared_ptr<libexpressions::ExpressionNode const> const*, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > > > >&, std::vector<unsigned long, std::allocator<unsigned long> > (&)(std::vector<std::tuple<std::shared_ptr<libexpressions::ExpressionNode const> const*, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > >, std::allocator<std::tuple<std::shared_ptr<libexpressions::ExpressionNode const> const*, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > > > > const&)) /home/robert/Uni/Bitbucket/libsfsmtest/src/dependencies/libexpressions/utils/tree-visit.hpp:65:5
#22 0x55f21230d2ed in void libexpressions::traverseTree<(libexpressions::TreeTraversalOrder)2, std::tuple<__gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > >, __gnu_cxx::__normal_iterator<std::shared_ptr<libexpressions::ExpressionNode const> const*, std::vector<std::shared_ptr<libexpressions::ExpressionNode const>, std::allocator<std::shared_ptr<libexpressions::ExpressionNode const> > > > > (&)(std::shared_ptr<libexpressions::ExpressionNode const> const&), libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::EvaluationState libexpressions::evaluateExpression<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >(std::shared_ptr<libexpressions::ExpressionNode const> const&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&)::'lambda'(std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes> const&, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&)&, std::shared_ptr<libexpressions::ExpressionNode const>, true>(std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::EvaluationState libexpressions::evaluateExpression<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >(std::shared_ptr<libexpressions::ExpressionNode const> const&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&)::'lambda'(std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes> const&, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&)&, std::shared_ptr<libexpressions::ExpressionNode const> const&) /home/robert/Uni/Bitbucket/libsfsmtest/src/dependencies/libexpressions/utils/tree-visit.hpp:134:29
#23 0x55f2122f381a in libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::EvaluationState libexpressions::evaluateExpression<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >(std::shared_ptr<libexpressions::ExpressionNode const> const&, libexpressions::Semantics<std::variant<libfsmtest::SFSMs::OperatorTypes, libfsmtest::SFSMs::ValueTypes>, std::variant<bool, long, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&) /home/robert/Uni/Bitbucket/libsfsmtest/src/dependencies/libexpressions/evaluators/evaluator.hpp:80:9
#24 0x55f2122f202a in libfsmtest::SFSMs::evaluateValuationInExpression(std::map<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, libfsmtest::SFSMs::IdentifierType>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::less<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, libfsmtest::SFSMs::IdentifierType> >, std::allocator<std::pair<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, libfsmtest::SFSMs::IdentifierType> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > > const&, libfsmtest::SFSMs::Expression const&) /home/robert/Uni/Bitbucket/libsfsmtest/src/libsfsmtest/sfsm/ExpressionEvaluation.cpp:796:44
#25 0x55f212320431 in libfsmtest::SFSMs::getEquivalenceClassForValuation(libfsmtest::SFSMs::EquivalenceClassTable_t const&, std::vector<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, libfsmtest::SFSMs::IdentifierType>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, libfsmtest::SFSMs::IdentifierType> > > const&, libfsmtest::SFSMs::Valuation const&, libfsmtest::SFSMs::Expression const&) /home/robert/Uni/Bitbucket/libsfsmtest/src/libsfsmtest/monitors/ltlMonitor/ltlMonitor.cpp:88:27
#26 0x55f21226802b in applyInputWithMonitorOption(unsigned long, std::optional<unsigned long>, bool) /home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness.cpp:204:9
#27 0x55f212266bde in LLVMFuzzerTestOneInput /home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness.cpp:90:35
#28 0x55f2122229d3 in fuzzer::Fuzzer::ExecuteCallback(unsigned char const*, unsigned long) (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x809d3) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#29 0x55f212222129 in fuzzer::Fuzzer::RunOne(unsigned char const*, unsigned long, bool, fuzzer::InputInfo*, bool, bool*) (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x80129) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#30 0x55f212223e06 in fuzzer::Fuzzer::ReadAndExecuteSeedCorpora(std::vector<fuzzer::SizedFile, std::allocator<fuzzer::SizedFile> >&) (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x81e06) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#31 0x55f212224282 in fuzzer::Fuzzer::Loop(std::vector<fuzzer::SizedFile, std::allocator<fuzzer::SizedFile> >&) (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x82282) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#32 0x55f2122125d2 in fuzzer::FuzzerDriver(int*, char***, int (*)(unsigned char const*, unsigned long)) (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x705d2) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#33 0x55f21223c2c2 in main (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x9a2c2) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
#34 0x7f0716207d8f in __libc_start_call_main csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#35 0x7f0716207e3f in __libc_start_main csu/../csu/libc-start.c:392:3
#36 0x55f212207014 in _start (/home/robert/Uni/Bitbucket/ifip_ictss_2023/ABS-Case-Study/testharness+0x65014) (BuildId: cc8d40b37ee3bbc436f102b635b7fa3d41973e52)
Edited by Robert Sachtleben