From 099fb4e3cbcb1b4085c00da1a3ef337f0255b646 Mon Sep 17 00:00:00 2001
From: "Alinson S. Xavier" <git@axavier.org>
Date: Sat, 16 Apr 2022 09:52:08 -0500
Subject: [PATCH] Add case14-flex test case

---
 docs/format.md                     |   4 ++--
 instances/test/case14-flex.json.gz | Bin 0 -> 1891 bytes
 test/model/formulations_test.jl    |  36 +++++++++++++++++++++--------
 3 files changed, 28 insertions(+), 12 deletions(-)
 create mode 100644 instances/test/case14-flex.json.gz

diff --git a/docs/format.md b/docs/format.md
index 985511e..dc02a0d 100644
--- a/docs/format.md
+++ b/docs/format.md
@@ -240,13 +240,13 @@ This section describes the hourly amount of reserves required.
 ```json
 {
     "Reserves": {
-        "up-flexiramp (MW)": [
+        "Up-flexiramp (MW)": [
             20.31042,
             23.65273,
             27.41784,
             25.34057
         ],
-         "down-flexiramp (MW)": [
+         "Down-flexiramp (MW)": [
             19.41546,
             21.45377,
             23.53402,
diff --git a/instances/test/case14-flex.json.gz b/instances/test/case14-flex.json.gz
new file mode 100644
index 0000000000000000000000000000000000000000..b02c6dfa8590dfa1044a8883b0dcaad52c6b48a9
GIT binary patch
literal 1891
zcmV-p2b}mHiwFo8*IHr#17l%xWid1@W^846E^2dcZUEg{OK;mo5I)zxf-rJ$0eQQ-
zv(H|NwrPt3O%cQ?dI)l$W!fenkp@ZGaRdMN4kbS%awrakv?wYYGR&Qw{dRV~d93vL
zD8bk9+q6oTS(8=u@wdt6^|ST!_xUnQuFER_t1Oa}>#uRt%#OY~ewWo*b(<wMjy0F*
zVv*crMY?G2lap89y!o@0Q&LJH*Qy?7n^k_vimXbTvb)Na+WCL|?1xn=bbPLkXS)M$
ztMXzsZ*l}QFY6|muUa4{n?*n1s<R|f3f~p1-|R=8f>)dQrd6O^`>yr+9iMbnoHc3H
ztZtHvY?0pAkB0f6P<WQWkZ`+L{k+cFI=GVE{MGCKaq3s=IlmTplc$TMZqjD;w7_Y*
zxsJe1d6!jByO+-kKg_nQtB0+tr&$+)8b3>-LExrmmA!^t+tWHB*E#?Mpdt^^3W#j;
z8kTM0(YEHvraM#KrOTTHr!4Yi-aPFr2An|1U6gmlsN@rfQMv0?!&3MrFY@JTi71<v
zf6u%lg<6gK#L`b2u{2-YCoKW5?%So;!o_N_*ehSRTdQeF+DF5F5AD0mZGMr}Nqv(S
zMP6Jb)h4pk-=TC<t+JsBMOmB<PNI1L!#se=JOG#_&du5|H<brUDG=TwA;3i;kp~c>
z5_ZtL`#hK>VN#gUkAHzr2`{;nAS6jjP;w+C2*EciG-S0Z2Hb*VjN&n-C-yHh#{G90
zV}=>yrZMJFy6of1KaeWz@P@<xa>MS6ZFurV<vJF9!J22M*2G<8oig*BC^LU6(~D<S
zf;Q4QQ9y0a`>-?AzBJZ3%4$FBj~HQ`R+<<Ap`+K97||li5dF@;M;a=T<Mu;U3bliF
z&|g<cCsdRWsUam40I|Usg)u=H4p<_*><4ST0BJ2@JqscPqY0>12~Yt7F(UCSK(g#g
z1cv=kqiC6I`l|+Eou}Xgp=>mY8ju={=D;NAJaYUXjP{y3eJvao>;xVhk=l@Mp+wLS
z0|%-<kc{ELd2y;~09zC1sFT9(MOzaIs)7>ED{>AJ#()KmX_TCNj8b@v5QMwoh%(j^
zh@x;#8%GUTsf=PF9SNy@qy|HZlZ01+h=`MV?yYwO<w3Y;Vr0Rb9KkWrC=50IRh<al
z8FBz!f_jWh36_O&dho^o9Sq4)D>OzuB0ww5KoK0_5ICYO<|Y=_$+25`5ir^k2Z_7z
z(OC+s6)|G8Bu6~RVXQl~!22pK>SbQnZ6&hEi*8}CAiVgjTvhWdIUl-)dY@KTS@S&J
zyGVJLrSm2&P{m1ky{sQYla0#Dmshv-I9t{8?B;RWSvyB#I*l$k={+DnWH(PA|6W#0
ztcflc<=t)*1+w2o{j|hpCM)LmguEf-e}0kLcfYq~>y14Lx=pmFW!Y0}kY>xCdeoli
zgxVr!q6I+WxIk}!U}9$jy#w!Tpm(D{Za_sJ{V3=lf^ten6xL2D6KT){B`1P5JkZ|3
zxTT{AF<_*O5S5EMY8o_ASWN`Ya}|X(R~QA2*;0bHRsvwImfl$!HBo1EQ1{ONKvOH(
zWju*mODwv<MB}^#?`YIS$<;yKLv@g?rO|3Uv>An+f{W5c>jP-(Y0yNyHxabw#S$5n
ziZ3q?Eir^hXC3~kXr!SxKop)6HxOAHu!v&Z!vXuYfS`>FvUPPgV0Nko?ZECiLkD*6
ziiozm)pDBMorv0klQLpkhwa9|2F8<m4`62ls+Xk(f_R7wXYt-(8?SB4Ppr)bP>-k1
zQPjLz1c8Kcl47~5HF}A%ZP94a@B_HVGv+96X3E4Ga@<F-uZ8F_t{8_!Q~Np70PgXm
z*$W>X+`W6Up`@woDD2qY^tApIFp}G0)Z<xm3^gyND8(sKu^0~yt17QC$%1xf$hpVU
zW)D`^NhB`=g>H*R)z(sA9P|MrHzJp6C=!mR%~906Y>yziR|g~|u}_xR>^mLWoD~N0
zjvCLLeQO>X0ks_GWW-~^mL06u4u6K6WISK?Biw<ZBt}L}h>;sq2*^gIvHu$I5<Q+T
z`=}0c6EK0%>DcxPT4GtHk&plywqnUncl={nG<ngsg?YCzo)bCr`^(F0-eecgjdZ`&
zZyV~Jhx8@FoXB-7?V6>X$Ve>hz|v0S4VHGp(oV#8mUhe1PK05WcE{3AgiDro&(cl=
zHJ0|k(oV!4miEZfPSw;rI!T`XgXzlSD^;BG^z#@?6_GssJkC;O6Hh;nS5$q&)6ZiT
zRf+KQ^SDJ-3_Sfjc2TLFr=Q0!DhKlt$}qonQsvt!pJ%6aR@8Zu-)708OfNbq^QPYO
zWk#Ybxy_1IwsWi6yM=w7Ez{!pX5H@Gy6(Vx{8ncDB)SFbkDJrWMfNGL+OP1Ccl1~d
zgOa9GSZKf+S$A*XwHHQV;oNy@u{4oe_c+_%2RMFR-W6jQR7AbD`<awhSn-1QJ!BS_
d>*6&6i(>!sG27-SAC4Z5{szYH6`JcR003n0qCfxu

literal 0
HcmV?d00001

diff --git a/test/model/formulations_test.jl b/test/model/formulations_test.jl
index 01277a2..f46717b 100644
--- a/test/model/formulations_test.jl
+++ b/test/model/formulations_test.jl
@@ -4,6 +4,7 @@
 
 using UnitCommitment
 using JuMP
+using Cbc
 import UnitCommitment:
     ArrCon2000,
     CarArr2006,
@@ -13,23 +14,35 @@ import UnitCommitment:
     KnuOstWat2018,
     MorLatRam2013,
     PanGua2016,
-    XavQiuWanThi2019
+    XavQiuWanThi2019,
+    WanHob2016
 
 if ENABLE_LARGE_TESTS
     using Gurobi
 end
 
-function _small_test(formulation::Formulation)::Nothing
-    instances = ["matpower/case118/2017-02-01", "test/case14"]
-    for instance in instances
-        # Should not crash
-        @show "$(instance)"
-        UnitCommitment.build_model(
-            instance = UnitCommitment.read_benchmark(instance),
+function _small_test(
+    formulation::Formulation;
+    instances::Array{String} = ["test/case14"],
+    optimizer = optimizer_with_attributes(
+        Cbc.Optimizer,
+        "logLevel" => 0,
+    )
+)::Nothing
+    for instance_name in instances
+        instance = UnitCommitment.read_benchmark(instance_name)
+        model = UnitCommitment.build_model(
+            instance = instance,
             formulation = formulation,
+            optimizer = optimizer,
+        )
+        UnitCommitment.optimize!(
+            model,
+            XavQiuWanThi2019.Method(two_phase_gap = false, gap_limit = 0.1),
         )
+        solution = UnitCommitment.solution(model)
+        @test UnitCommitment.validate(instance, solution)
     end
-    return
 end
 
 function _large_test(formulation::Formulation)::Nothing
@@ -80,5 +93,8 @@ end
     _test(Formulation(pwl_costs = CarArr2006.PwlCosts()))
     @show "KnuOstWat2018 PwlCosts"
     _test(Formulation(pwl_costs = KnuOstWat2018.PwlCosts()))
-    @show "formulations completed"
+    _small_test(
+        Formulation(ramping = WanHob2016.Ramping()),
+        instances=["test/case14-flex"],
+    )
 end