Assignments of fixed-size bytes and string is not supported

[dddejan]

trafficstars

• test/libsolidity/syntaxTests/modifiers/function_modifier_invocation_parameters.sol
• test/libsolidity/syntaxTests/modifiers/function_modifier_invocation.sol

contract B {
    function f(uint8 a) mod1(a, true) mod2(r) pure public returns (bytes7 r) { }
    modifier mod1(uint a, bool b) { if (b) _; }
    modifier mod2(bytes7 a) { while (a == "1234567") _; }
}

./solc-verify.py test/libsolidity/syntaxTests/modifiers/function_modifier_invocation_parameters.sol --output .
Error while running verifier, details:
Parsing ./function_modifier_invocation_parameters.sol.bpl
./function_modifier_invocation_parameters.sol.bpl(26,17): Error: invalid argument types (int and string_t) to binary operator ==
(0,-1): Error: invalid argument types (int and string_t) to binary operator !=
2 type checking errors detected in ./function_modifier_invocation_parameters.sol.bpl