Mikhail R. Gadelha

@rafaelsamenezes, could you share what was worse on Linux?

Maybe it's a concurrency thing? I found it when debugging an atexit issue, before: ``` Thread 0 file pthread_lib.c line 135 function pthread_end_main_hook ASSIGNMENT (HIDDEN) __ESBMC_num_threads_running&0#3 == 0 Guard: 1...

Thanks, Lucas. Do you think how long will it take? The tests seem to be running sequentially. Em seg., 13 de jun. de 2022 às 14:26, Lucas Cordeiro < ***@***.***>...

I'll have a look at the termination issues! Em qua., 22 de jun. de 2022 às 09:36, Rafael Sá Menezes < ***@***.***> escreveu: > This PR seems to be affecting...

The motivation is that this code doesn't make sense IMHO: why would we restore entry guards when exiting a frame? The SSA should be a flattened program. As I mentioned,...

You're going to need to rebase your branch

You can do: $ git fetch $ git rebase origin master $ git push -f origin/ It's not pretty but should work. On Sat, 29 Aug 2020, 10:29 Vanderson Rocha,...

Did it rebase your local copy on top of master?

Sounds reasonable. I think we just need to check if noreturn implies calling the functions registered with atexit().

What's happening here? Is ESBMC crashing? Em ter., 14 de jul. de 2020 às 18:00, Erickson Alves < [email protected]> escreveu: > @rafaelsamenezes confirmed in > Jenkins that the job has...