Integrating assertion rewriting (2nd attempt)#626

Merged

StevenCostiou merged 7 commits intopharo-spec:Pharo12from adri09070:assertion-rewriting

Dec 4, 2023

+464-66

Commits on Nov 23, 2023

first attempt of integrating assertion generation inside the debugger
adri09070
committed
some fixes for generating assertions
adri09070
committed
adding some basic tests on StGenerateAndProceedCommand (availabity according to context, interface called on the debugger GUI...)
adri09070
committed

Commits on Nov 24, 2023

Commits on Nov 30, 2023

fixing assertion rewriting (small parenthesis error)
adri09070
committed