search

UQ-PAC / BASIL

Apache License 2.0
8 stars 0 forks source link

Thread identification #212

Closed l-kent closed 2 months ago

l-kent commented 3 months ago

Splits threads into separate boogie output files. Currently only works for pthreads (support for other thread libraries can be added later)

-t flag enables this functionality and requires the --analyse flag to be used alongside it.

ailrst commented 3 months ago

Can you check in the C source for the two examples please

l-kent commented 3 months ago

It already exists for 'basic_assign_pthread' and never existed for the 'pthread' example (someone else committed it but without the source) which is why I removed it.

ailrst commented 3 months ago

Oh ok my mistake, I thought it was a newly added example

l-kent commented 3 months ago

This obviously needs to wait for #204 to be merged in.