adopt missing changes while cherry-picking from mlz

Change-Id: Icda4d581e8f0ebd22fc22f2661965bf98a821a34
This commit is contained in:
2024-01-29 14:27:49 +01:00
parent 4cdd3b0709
commit 2126956160
10 changed files with 31 additions and 841 deletions

View File

@ -26,7 +26,7 @@ import pytest
from frappy.datatypes import BoolType, FloatRange, IntRange, StructOf
from frappy.errors import ProgrammingError
from frappy.modules import HasAccessibles
from frappy.modulebase import HasAccessibles
from frappy.params import Command, Parameter