Lecture: Serval

Question

Suppose one made a mistake in Figure 3 (the sign program), writing sltz a0, a0 at line 1 (instead of sltz a1, a0). Can one catch this bug using Serval? Briefly describe why or why not.

Question

Provide a list of questions you would like to discuss in class.