Master

Merged
#36 · Created  · Last updated

Merged pull request

Merged in yanniss/doop-nexgen (pull request #36)

7a45e3e·Author: ·Closed by: ·2018-04-24

Description

  • Wala: Cleaning

  • Add logic for Wala System initialization

  • Fix refactored strings and comments

  • Fix message.

0 attachments

0 comments

Loading commits...