1. 61a90bd config.py testing: also test the get command by Gilles Peskine · 6 years ago
  2. 261742b Fix config.py output when a symbol has acquired or lost a value by Gilles Peskine · 6 years ago
  3. 7b887cd Remove redundant test case by Gilles Peskine · 6 years ago
  4. aebf002 Test script for config.py by Gilles Peskine · 6 years ago