Bob Kuo

Print out response body when a 500 Internal Server Error is received from the pushgateway

3

I accidentally sent malformed data to a push gateway and got back a 500 Internal Server Error. The body of the response had information about the malformed data but all...

detect hitting max upvalue limit

1

At work we had some code that triggered the compilation error, "function at line ___ has more than 60 upvalues". While our testing caught it, I think luacheck could also...

detect hitting max local variable

3

Similar to #63 At work we've hit code that has more than the maximum number of local variables. Automated testing caught this but I think luacheck could have caught it...

How should I represent user-defined types that are SMT bit-vectors

5

I'd like to create user-defined types to represent IP addresses. Specifically, a `bv[32]` to represent an IPv4 address and a `bv[128]` to represent an IPv6 address. Since `i32` is interchangeable...