seL4 / capdl

Capability Distribution Language tools for seL4
https://sel4.systems
35 stars 45 forks source link

capDL-tool: fix several cases in validObjPars #35

Closed corlewis closed 2 years ago

corlewis commented 2 years ago

These cases were previously comparing against lists of parameters of the incorrect size. Luckily, the lists being created were all accidentally too large, which means that the validation step was just being too permissive.

lsf37 commented 2 years ago

Looks good!