Rewrite

[chudicek]

Improved structure, readability and performance

[codecov]

Codecov Report

Attention: 1343 lines in your changes are missing coverage. Please review.

Comparison is base (5d6e602) 100.00% compared to head (df862af) 0.00%.
Report is 94 commits behind head on main.

Files	Patch %	Lines
src/update/update_fn.rs	0.00%	412 Missing ⚠️
src/symbolic_domains/symbolic_domain.rs	0.00%	216 Missing ⚠️
src/xml_parsing/expression_parser.rs	0.00%	126 Missing ⚠️
src/xml_parsing/utils.rs	0.00%	109 Missing ⚠️
src/test_utils.rs	0.00%	97 Missing ⚠️
src/xml_parsing/variable_update_fn_parser.rs	0.00%	94 Missing ⚠️
src/benchmarks/rewritten_reachability.rs	0.00%	74 Missing ⚠️
src/benchmarks/reachability.rs	0.00%	73 Missing ⚠️
src/utils.rs	0.00%	37 Missing ⚠️
src/xml_parsing/xml_reader.rs	0.00%	31 Missing ⚠️
... and 6 more

Additional details and impacted files

@@             Coverage Diff              @@
##              main     #20        +/-   ##
============================================
- Coverage   100.00%   0.00%   -100.00%     
============================================
  Files            1      16        +15     
  Lines            2    1343      +1341     
============================================
- Hits             2       0         -2     
- Misses           0    1343      +1343     

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