search

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis
70 stars 38 forks source link

Remove CTIR and FSTBHC. #73

Closed mbarbar closed 2 years ago

mbarbar commented 2 years ago

Will this run in CI? I don't have things set up to run locally to test.

yuleisui commented 2 years ago

Will this run in CI? I don't have things set up to run locally to test.

We need to remove anything related to TBHC

yuleisui commented 2 years ago

Can you double check before I merge?

mbarbar commented 2 years ago 
mbarbar@alder ~/clone/Test-Suite % ag ctir
mbarbar@alder ~/clone/Test-Suite % ag tbhc
mbarbar@alder ~/clone/Test-Suite %
yuleisui commented 2 years ago

mbarbar@alder ~/clone/Test-Suite % ag ctir mbarbar@alder ~/clone/Test-Suite % ag tbhc mbarbar@alder ~/clone/Test-Suite %

Yes, good, you can push to SVF once this test suits all generated and push to Test-Suite for SVF to download.

mbarbar commented 2 years ago

So I push to SVF, then what do I push here?

yuleisui commented 2 years ago

So I push to SVF, then what do I push here?

No, sorry I mean your pull request. Also remember to remove the TBHC options in Options.cpp and the TBHC pointer analysis type in SVF.

mbarbar commented 2 years ago

Ah okay.

Yes they're removed.

yuleisui commented 2 years ago

Perfect