Zander/4-variable-simplifier
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

added disabling autowrap

Browse source
This commit is contained in:
Alex Thannhauser 2025-07-17 11:27:08 -05:00
parent 2fd5f8e0f5
commit a0dc771cea
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
main.c
View file

@ -616,6 +616,12 @@ void calculate_simplifications(void)
append(0, 1), lookup[0].kind = ek_0;
append(M, 1), lookup[M].kind = ek_1;
// disable terminal autowrap:
if (verbose && print_with_color)
{
printf("\e[?7l");
}
for (int iterations = 1; todo.n && iterations <= N; iterations++)
{
uint16_t truthtable = pop();
@ -823,7 +829,7 @@ void calculate_simplifications(void)
if (verbose && print_with_color)
{
printf("\e[2K");
printf("\e[2K" "\e[?7h");
}
}