Verifier bombs with no Ensures

Status: Beta

Brought to you by: ctcook, hwsmith, sitaraman, yushan87

#5 Verifier bombs with no Ensures

Status: open-fixed

Owner: Heather

Labels: Verifier (14)

Priority: 5

Updated: 2009-10-14

Created: 2009-08-03

Creator: H. Smith

Private: No

For an Operation defined as a parameter to a realization, if that operation has no ensures clause, the Verifier throws a NullPointerException at line 1864. Attached code should duplicate the error.

Discussion

H. Smith - 2009-08-03

RESOLVE source code to duplicate bug.

Selection_Sort_Realization.rb

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

H. Smith - 2009-08-03

labels: --> Verifier

assigned_to: nobody --> hkeown
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

H. Smith - 2009-10-14

status: open --> open-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Verifier bombs with no Ensures

Group

Searches

Help

#5 Verifier bombs with no Ensures

Discussion