PR# 19304 [RJ] How do you turn on assertions?

Problem Report Summary
Submitter: axarosenberg
Category: EiffelStudio
Priority: Low
Date: 2016/12/02
Class: Support
Severity: Non-critical
Number: 19304
Release: 16.05
Confidential: No
Status: Analyzed
Responsible: jfiat_es
Environment: win
Synopsis: [RJ] How do you turn on assertions?

I would like to turn on some assertions in the class MARKET_DATA_CSV_MANAGER.  I tried setting them on the library rose and on the cluster rose_classic (not at the same time).  Neither worked.  What do I do?  (See attached image).
To Reproduce

Problem Report Interactions
From:manus_eiffel    Date:2016/12/02    Status: Analyzed    Download   
By default we use whatever assertions are specified in the library configuration file. Now the library assertions can be overriding if you select `use application options` on the library and it will use the assertions of the current project to define the assertions of the library.

Could you provide the actual settings you have applied?

From:axarosenberg    Date:2016/12/02    Status: Open    Download   
Yes, turning on assertions on both the parent library and underlying cluster worked.  Could you comment on that?

From:axarosenberg    Date:2016/12/02    Download   
Attachments for problem report #19304

Attachment: Capture.PNG     Size:4480