Skip to content

bugfix for #273: missing checks for NaN added in assertions for REAL and LREAL. (+ bugfix #250, + feature #276, + bugfix #279, + feature #258) - #274

Open
TobiasKnauss wants to merge 8 commits into
tcunit:masterfrom
TobiasKnauss:master
Open

bugfix for #273: missing checks for NaN added in assertions for REAL and LREAL. (+ bugfix #250, + feature #276, + bugfix #279, + feature #258)#274
TobiasKnauss wants to merge 8 commits into
tcunit:masterfrom
TobiasKnauss:master

#258

3748578
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs