TestExprEngine: Fix for ubuntu 18.04. Replace '(/ 123.0 10.0)' with '12.3'

This commit is contained in:
Daniel Marjamäki 2020-12-21 15:29:05 +01:00
parent c3e798968c
commit 01ac4073c8
1 changed files with 1 additions and 0 deletions

View File

@ -153,6 +153,7 @@ private:
replace(line, "(fp.gt ", "(> ");
replace(line, "(fp.lt ", "(< ");
replace(line, "(fp #b0 #b10000000010 #x899999999999a)", "12.3");
replace(line, "(/ 123.0 10.0)", "12.3");
int par = 0;
for (char pos : line) {
if (pos == '(')