Ettore Di Giacinto 4d6cccb2fa Give explaination when formulas are unsat ... Fixes #168 Signed-off-by: Ettore Di Giacinto <mudler@sabayon.org>		2021-08-07 14:46:05 +02:00
..
config_protect_test.go	Add test suite for ConfigProtect	2020-11-07 11:39:31 +01:00
config_protect.go	ConfigProtect: support annotation without initial /	2020-11-07 11:39:13 +01:00
config_suite_test.go	Add config test suite	2020-05-01 15:26:53 +02:00
config_test.go	Add 2 new events for image unpacking (#226)	2021-06-01 16:43:31 +02:00
config.go	Give explaination when formulas are unsat	2021-08-07 14:46:05 +02:00