[thesis] Import verification results for illegal method call sequences
(from redmine: issue id 3717, created on 2019-04-22, closed on 2020-08-11)
- Relations:
- parent #3785 (closed)
(from redmine: issue id 3717, created on 2019-04-22, closed on 2020-08-11)