Closed leendertvanwolfswinkel closed 1 month ago
Sqlite: lidENG151.zip
v2_global_settings.interception_global and v2_global_settings.interception_file are both NULL, but model_settings.use_interception is set to True
v2_global_settings.interception_global
v2_global_settings.interception_file
NULL
model_settings.use_interception
True
The modelchecker will error on this, because the interception table is empty
interception
Note that this is an old sqlite (sqlite 3)
Sqlite: lidENG151.zip
v2_global_settings.interception_global
andv2_global_settings.interception_file
are bothNULL
, butmodel_settings.use_interception
is set toTrue
The modelchecker will error on this, because the
interception
table is emptyNote that this is an old sqlite (sqlite 3)