Repository navigation

Covered new error option, fix for building pointers - #193

Draft

S1eGa wants to merge 2 commits into

UnitTestBot:mainfrom

S1eGa:covered-new-error-option

Draft

Covered new error option, fix for building pointers#193
S1eGa wants to merge 2 commits into
UnitTestBot:mainfrom
S1eGa:covered-new-error-option

Commits on Jul 17, 2024
- [fix] Fixed condition in process of generation values for symbolic.
  S1eGa
  committed
  cfa727a
Commits on Jul 22, 2024
- [feat] Added TestComp option category. CoveredNewError is using only for "abort" errors by option --use-covered-new-error.
  S1eGa
  committed
  d7b8ebd