3 Commits

Author	SHA1	Message	Date
Renato Lochetti	8625a849d1	adding all ui tests to the configuration test as well	2023-06-17 09:36:38 -03:00
Renato Lochetti	e2e6a02445	Addressing reviewer comments	2023-06-17 09:36:38 -03:00
Renato Lochetti	520228b377	Adding configuration to allow safety comment above stmt containing unsafe block	2023-06-17 09:36:36 -03:00