openstack/congress
Code Issues Proposed changes

Update notes for submitted changes

Browse Source 
* bugfix: order of variables in quantified Z3 terms
This commit is contained in:
Gerrit Code Review 2018-08-02 23:33:31 +00:00
parent 6f1cb7294f
commit c3b71ff520
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
0b/e3c4b99ee63793b0b3342dd3a5aed32d639391 Normal file
View File

@ -0,0 +1,9 @@
Code-Review+1: Akhil jain <akhil.jain@india.nec.com>
Code-Review+2: Eric Kao <ekcs.openstack@gmail.com>
Workflow+1: Eric Kao <ekcs.openstack@gmail.com>
Verified+2: Zuul
Submitted-by: Zuul
Submitted-at: Thu, 02 Aug 2018 23:33:31 +0000
Reviewed-on: https://review.openstack.org/587300
Project: openstack/congress
Branch: refs/heads/master