Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Proper handling of constants (true/false) #330

Merged
merged 1 commit into from
Sep 13, 2023

true/false constants are their own type + \\true/\\false

7f27641
Select commit
Loading
Failed to load commit list.
Merged

Proper handling of constants (true/false) #330

true/false constants are their own type + \\true/\\false
7f27641
Select commit
Loading
Failed to load commit list.
This check has been archived and is scheduled for deletion. Learn more about checks retention
Codecov / codecov/project succeeded Sep 11, 2023 in 1s

72.76% (+0.08%) compared to d85d445

View this Pull Request on Codecov

72.76% (+0.08%) compared to d85d445

Details

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.