Proper handling of constants (true/false)

[jurajsic]

This PR solves #174, i.e. it adds true/false as its own operator type in intermediate automaton and also changes the parser so that constants are given as \true/\false as we agreed in #168

[codecov]

Codecov Report

Patch coverage: 98.88% and project coverage change: +0.08% 🎉

Comparison is base (d85d445) 72.67% compared to head (7f27641) 72.76%.
Report is 13 commits behind head on devel.

Additional details and impacted files

@@            Coverage Diff             @@
##            devel     #330      +/-   ##
==========================================
+ Coverage   72.67%   72.76%   +0.08%     
==========================================
  Files          33       33              
  Lines        4158     4167       +9     
  Branches      958      958              
==========================================
+ Hits         3022     3032      +10     
  Misses        755      755              
+ Partials      381      380       -1     

Files Changed	Coverage Δ
src/inter-aut.cc	68.28% <98.46%> (+1.13%)	⬆️
include/mata/parser/inter-aut.hh	97.29% <100.00%> (+0.32%)	⬆️
src/mintermization.cc	81.42% <100.00%> (ø)
src/parser.cc	81.61% <100.00%> (-0.53%)	⬇️

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Adda0]

The changes look good to me.

[Adda0]

@martinhruska If you do not want or do not have the time, you do not have to review the code. But it might be beneficial to know about the change for when you work on further parser changes.

[tfiedor]

OK. Did you try running this on the changes from the nfa-bench repo to verify it works OK?

[jurajsic]

OK. Did you try running this on the changes from the nfa-bench repo to verify it works OK?

It looks like it works for few I tried.