You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently we are rather lacking in "unit tests" (or rather, integration tests that are narrowly targeted). This issue tracks a checklist of arrays where we could use more targeted ui tests:
signature of java functions matches the declaration in the Rust code
transitive upcasts: do we generate the right lists, given A extends B extends C extends D, can we upcast directly from A to C or D?
overloaded or duplicate methods generate some kind of error
tests for fields (there are tests in the viper. test)
tests for enum derive with complicated inheritance, check that we test in the right order (see this Zulip comment for some more details)
tests for a helper function that creates and returns a impl IntoJava like this one; that function is a good test, but it is kind of a "helper function" to other tests, it'd be nice to have a dedicated UI test for it
The text was updated successfully, but these errors were encountered:
Currently we are rather lacking in "unit tests" (or rather, integration tests that are narrowly targeted). This issue tracks a checklist of arrays where we could use more targeted ui tests:
impl IntoJava
like this one; that function is a good test, but it is kind of a "helper function" to other tests, it'd be nice to have a dedicated UI test for itThe text was updated successfully, but these errors were encountered: